TSTP Solution File: GEO373^1 by SInE---0.4